退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于缩小的超额变量有限重复系统仿真及其终止证明
机译:基于变窄的有效重写及其对带有额外变量的术语重写系统的终止
机译:基于缩小的有效重写及其终止重写具有额外变量的重写系统
机译:词法重写的术语重写系统的终止协议,意味着多重递归推导长度
机译:具有递归路径关系的S表达重写系统的终止证明
机译:术语重写系统和Church-Rosser财产
机译:基于电磁和超声混合系统的热疗中增强的能量局部化:数值模拟的概念验证
机译:带有额外变量的术语重写系统的基于狭窄的模拟及其终止证明
机译:通过反向匹配边界对字符串重写系统进行终止证明
机译:具有附加功能的在线房屋贷款比较计算器,允许用户确定将太阳能光伏系统的成本增加到原始房屋贷款金额中的净效果。 Solar Home Loan Calculator允许用户将2种不同的贷款金额与2种不同或相等的利率进行比较,以贷款支付的形式显示净损失或收益。该计算器还允许用户以美元为单位输入由太阳能光伏系统产生的节电,作为额外的贷款还款,说明整体房屋贷款应付利息,贷款期限和LVR减少。
机译:可变长度偏移量重写设备,可变长度偏移量重写方法和用于可变长度偏移量重写设备的记录介质
机译:控制程序生成器,用于控制程序生成器的程序,模型重写设备,用于模型重写设备的程序,对象代码生成器,用于对象代码生成器的程序,模型仿真设备以及用于模型仿真设备的程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。